문서의 임의 삭제는 제재 대상으로, 문서를 삭제하려면 삭제 토론을 진행해야 합니다. 문서 보기문서 삭제토론 서수(수학)/큰 가산서수 (문단 편집) == 증명론적 서수 == [[페아노 공리계]]로 증명할 수 없는 [[굿스타인 정리]]와 같이, 모든 공리계는 충분히 큰 서수를 정의할 수 없다. 한 공리계가 정의할 수 있는 서수의 상한을 증명론적 서수 (Proof-theoretic ordinal)이라고 한다.(보통 줄여서 PTO라고 부른다)수학자들은 비교적 단순한 공리계에 대해서는 정확한 증명론적 서수를 구했지만 [[ZFC]]와 같이 복잡한 공리계에 대해서는 아직 알아낸 것이 많지 않다. 완전한 2차산술의 증명론적 서수부터는 아직 밝혀진바가 없고 이는 미해결 문제이다.저장 버튼을 클릭하면 당신이 기여한 내용을 CC-BY-NC-SA 2.0 KR으로 배포하고,기여한 문서에 대한 하이퍼링크나 URL을 이용하여 저작자 표시를 하는 것으로 충분하다는 데 동의하는 것입니다.이 동의는 철회할 수 없습니다.캡챠저장미리보기